Skip to content

chore: dedup formats in sql engine runner#7459

Merged
0ax1 merged 1 commit intodevelopfrom
ad/dedup-formats-in-runner
Apr 15, 2026
Merged

chore: dedup formats in sql engine runner#7459
0ax1 merged 1 commit intodevelopfrom
ad/dedup-formats-in-runner

Conversation

@0ax1
Copy link
Copy Markdown
Contributor

@0ax1 0ax1 commented Apr 15, 2026

Dedup formats in SQL engine runner to prevent benchmarking the same format multiple times, as passed on the CLI. Keeps the insertion order.

@0ax1 0ax1 requested a review from joseph-isaacs April 15, 2026 22:10
@0ax1 0ax1 changed the title chore: sort and dedup formats in sql enginer runner chore: sort and dedup formats in sql engine runner Apr 15, 2026
@0ax1 0ax1 added the changelog/chore A trivial change label Apr 15, 2026
@0ax1 0ax1 enabled auto-merge (squash) April 15, 2026 22:12
@0ax1 0ax1 requested a review from robert3005 April 15, 2026 22:12
@0ax1 0ax1 force-pushed the ad/dedup-formats-in-runner branch from d02a910 to 5912909 Compare April 15, 2026 22:14
@0ax1 0ax1 changed the title chore: sort and dedup formats in sql engine runner chore: dedup formats in sql engine runner Apr 15, 2026
Signed-off-by: Alexander Droste <alexander.droste@protonmail.com>
@0ax1 0ax1 force-pushed the ad/dedup-formats-in-runner branch from 5912909 to 6879b98 Compare April 15, 2026 22:18
@0ax1 0ax1 merged commit ee2af71 into develop Apr 15, 2026
58 checks passed
@0ax1 0ax1 deleted the ad/dedup-formats-in-runner branch April 15, 2026 22:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog/chore A trivial change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants